/**
 * 类型检测与类型转换 https://book.kotlincn.net/text/typecasts.html
 */
fun main91() {
    /**
     * is 与 !is 操作符
     * 使用 is 操作符或其否定形式 !is 在运行时检测对象是否符合给定类型：
     */
    val obj = "Test"
    if (obj is String) {
        print(obj.length)
    }

    if (obj !is String) {       // 与 !(obj is String) 相同
        print("Not a String")
    } else {
        print(obj.length)
    }
}


/**
 * 智能转换
 */
fun main92() {
    //1.大多数场景都不需要在 Kotlin 中使用显式转换操作符，因为编译器跟踪不可变值的 is 检测以及显式转换，
    //  并在必要时自动插入（安全的）转换：
    fun demo(x: Any) {
        if (x is String) {
            print(x.length)     // x 自动转换为字符串
        }


        //2.编译器足够聪明，能够知道如果反向检测导致返回那么该转换是安全的：
        if (x !is String) return
        print(x.length)         // x 自动转换为字符串


        //3.或者转换在 && 或 || 的右侧，而相应的（正常或否定）检测在左侧：
        // `||` 右侧的 x 自动转换为 String
        if (x !is String || x.length == 0) return

        // `&&` 右侧的 x 自动转换为 String
        if (x is String && x.length > 0) {
            print(x.length) // x 自动转换为 String
        }


        //4.智能转换用于 when 表达式 和 while 循环 也一样：
        when (x) {
            is Int -> print(x + 1)
            is String -> print(x.length + 1)
            is IntArray -> print(x.sum())
        }


        /**
         * 5.请注意，当编译器能保证变量在检测和使用之间不可改变时，智能转换才有效。 更具体地，智能转换适用于以下情形：
         */
        //val 局部变量  总是可以，局部委托属性除外。
        //val 属性      如果属性是 private 或 internal，或者该检测在声明属性的同一模块中执行。智能转换不能用于 open 的属性或者具有自定义 getter 的属性。
        //var 局部变量  如果变量在检测和使用之间没有修改、没有在会修改它的 lambda 中捕获、并且不是局部委托属性。
        //var 属性      决不可能（因为该变量可以随时被其他代码修改）。
    }
}


/**
 * “不安全的”转换操作符
 */
fun main93() {
    val y = "Test"
    /**
     * 通常，如果转换是不可能的，转换操作符会抛出一个异常。因此，称为不安全的。
     * Kotlin 中的不安全转换使用中缀操作符 as。
     */
    val x: String = y as String

    /**
     * 请注意，null 不能转换为 String 因该类型不是可空的。 如果 y 为空，上面的代码会抛出一个异常。
     * 为了让这样的代码用于可空值，请在类型转换的右侧使用可空类型：
     */
    val x2: String? = y as String?
}


/**
 * “安全的”（可空）转换操作符
 */
fun main94() {
    val y = "Test"
    /**
     * 为了避免异常，可以使用安全转换操作符 as?，它可以在失败时返回 null：
     * 请注意，尽管事实上 as? 的右边是一个非空类型的 String，但是其转换的结果是可空的。
     */
    val x: String? = y as? String
}


/**
 * 泛型类型检测与类型转换
 */
fun main95() {
    //请参见"泛型文档页"中相应部分了解可以使用泛型进行类型检测与类型转换的信息。
    //https://book.kotlincn.net/text/generics.html#泛型类型检测与类型转换
}

